body
{
    background: none;
    font-family: sans-serif;
    height: 100%;
}

a
{
    color: #dd2f2f;
    text-decoration: none;
}

a:hover
{
    text-decoration: underline;
}

code
{
    font-family: "courier";
    color: #2b4893;
    background: #f4f4f4;
    padding-left: 0.25em;
    padding-right: 0.25em;
}

pre
{
    font-family: "courier";
    background: #f4f4f4;
    padding: 1em;
}

.container
{
  overflow-x: hidden;
}

.toc
{
    top: 0;
    left: 0;
    float: left;
    width: 22%;
    font-size: 80%;
    overflow-y: scroll;
    height: 100%;
    position: fixed;
}

.toc tbody
{
    font-size: 80%;
}

.toc .toc_table
{
    margin-left: 1em;
}

.toc  ul
{
    padding-left: 1.5em;
}

.toc > ul
{
    padding-left: 1.0em;
}

.toc h1
{
    padding-left: 0.5em;
    padding-top: 0.5em;
}

.main
{
    padding-left: 1em;
    padding-right: 1em;
    width: 75%;
    float: right;
}
